subgroup test proof

visit shbcf.ru